Foundations of mathematics - PDFSEARCH.IO - Document Search Engine

Foundations of mathematics
Results: 359

#	Item
111	Yuval Filmus Curriculum Vitæ Í 117 Oppenheimer Ln Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-10-31 15:18:39 Fellows of the Royal Society International Colloquium on Automata Languages and Programming Automated theorem proving Toniann Pitassi Daniel Filmus Symposium on Foundations of Computer Science Symposium on Theoretical Aspects of Computer Science Symposium on Theory of Computing Combinatorics Theoretical computer science Applied mathematics Computational complexity theory
112	Uriel Feige, Publications, JanuaryPapers are sorted by categories. For papers that have more than one version (typically, journal version and conference proceedings), the diﬀerent versions are combined into one Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2015-01-02 09:14:39 Uriel Feige NP-complete problems Computational complexity theory Adi Shamir Symposium on Theory of Computing International Colloquium on Automata Languages and Programming Symposium on Foundations of Computer Science Approximation algorithm Uriel Theoretical computer science Applied mathematics Mathematics
113	An abridged version of this paper appears in Proceedings of the 37th Symposium on Foundations of Computer Science, IEEE, 1996. Pseudorandom Functions Revisited: The Cascade Construction and its Concrete Security Mihir Be Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2005-10-31 17:44:37 Applied mathematics Algorithmic information theory Pseudorandom generator Computational complexity theory Pseudorandom function family One-way function Advantage Negligible function Function Cryptography Theoretical computer science Pseudorandomness
114	GRAPH LOGICS WITH RATIONAL RELATIONS ´ DIEGO FIGUEIRA, AND LEONID LIBKIN PABLO BARCELO, Department of Computer Science, University of Chile e-mail address: Laboratory for Foundations of Computer S Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-06-07 12:11:01 Theoretical computer science Model theory Universal algebra Combinatorics on words Automata theory Structure Regular language String Substructure Formal languages Mathematics Metalogic
115	Honors Class (Foundations of) Informatics Tom Verhoeff Department of Mathematics & Computer Science Software Engineering & Technology www.win.tue.nl/~wstomv/edu/hci Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2011-10-17 18:08:03 Theoretical computer science Computer science Finite-state machine Turing machine Pushdown automaton Deterministic finite automaton Nondeterministic finite automaton State Read-only Turing machine Models of computation Theory of computation Automata theory
116	2014 IEEE Annual Symposium on Foundations of Computer Science Threesomes, Degenerates, and Love Triangles Allan Grønlund Seth Pettie Add to Reading List Source URL: madalgo.au.dk Language: English - Date: 2015-04-22 04:53:32 Computational complexity theory Chernoff bound Randomized algorithm Time complexity Theoretical computer science Applied mathematics Analysis of algorithms
117	Alexandr Andoni http://www.mit.edu/~andoni Email: Phone: Experience Add to Reading List Source URL: www.mit.edu Language: English - Date: 2015-02-05 02:44:09 Year of birth missing Symposium on Foundations of Computer Science Symposium on Theory of Computing Piotr Indyk International Colloquium on Automata Languages and Programming Streaming algorithm Ravi Kannan Nearest neighbor search ACM SIGACT Theoretical computer science Applied mathematics Mathematics
118	Andr´ e WeilOne of the Century’s most influential pure mathematicians Add to Reading List Source URL: www.sunsite.ubc.ca Language: English - Date: 2001-05-12 20:22:20 Number theorists Nicolas Bourbaki Algebraic geometry Number theory Weil conjectures Alexander Grothendieck Riemann hypothesis Foundations of algebraic geometry Mordell–Weil theorem Mathematics Abstract algebra Conjectures
119	Activities using Both-Ways thinking to communicate foundations and frontiers of ICT to Indigenous children Australian Council of Deans of ICT (ACDICT) Learning & Teaching Academy (ALTA) ALTA Final report 2014 Add to Reading List Source URL: www.acdict.edu.au Language: English - Date: 2014-07-05 23:29:25 Mathematics education Education Graph coloring Communication Information and communication technologies in education Information technology Connectivity Graph Michael Fellows Mathematics Theoretical computer science Graph theory
120	The Best Writing on Mathematics 2014 Add to Reading List Source URL: press.princeton.edu Language: English - Date: 2014-10-16 10:58:23 Applied mathematics Foundations of mathematics Infinity Mathematical object The Princeton Companion to Mathematics Mathematics Philosophy of mathematics Reuben Hersh

UPDATE